Nuprl Definition : eclcatch 11,40
eclcatch(a; l) == inr inr inr inr inr inr inr <a, l>        
latex

Definitionsinr x , <a, b>
FDL editor aliaseseclcatch, eclcatch

origin